divergence identities proof